Struct isotope::prelude::SubstVec [−][src]
pub struct SubstVec<T = ()> { /* fields omitted */ }
Expand description
A simple vector of substitutions
Implementations
Trait Implementations
Substutite a variable, with an optional un-substituted annotation. Does not add the annotation as a constraint. Read more
Push a parameter onto this context with an optional annotation, returning the annotation substitution, if any
Check whether this context can potentially make any changes to a term with the given filter
Whether no variables are substituted by this context
Cache a substitution result. May cause erroneous behaviour if the result passed is invalid! Read more
Attempt to substitute an entire term. Return None
if substitution should proceed recursively instead.
Substutite a variable, with an optional un-substituted annotation, adding the annotation as a constraint. Read more
Get the underlying consing context
Get the underlying equality context
Auto Trait Implementations
impl<T = ()> !RefUnwindSafe for SubstVec<T>
impl<T = ()> !UnwindSafe for SubstVec<T>
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.